Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Unification Algorithms
English - the hottest programming language of the future
dev.toยท1hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Languages
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ“‹Backus-Naur Form
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ“‹Datalog
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐ŸŒฑMinimal Lisps
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐Ÿ“กErlang BEAM
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.orgยท3d
๐ŸŽญStaged Interpreters
Haskell Weekly Issue 493
haskellweekly.newsยท1dยท
Discuss: Hacker News
โšกfunctional programming
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.comยท9h
โœจEffect Inference
Categorical systems theory
topos.instituteยท7h
๐Ÿ”—Category Theory
Python 3.14 brings template string literals, free-threading, and stdlib subinterpreters
alternativeto.netยท1d
โšกIncremental Parsing
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.orgยท15h
ฮปLambda Calculus
Defeating Return Type Polymorphism
philipphagenlocher.deยท1dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ›๏ธElm Architecture
A Manifesto for the Programming Desperado
github.comยท3hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
Discuss: Hacker News, r/programming
๐Ÿ“Rope Editors
Experimenting with ACL2 and Claude Code
mikedodds.orgยท6hยท
Discuss: Hacker News
๐Ÿ’ฌInteractive REPLs
Stop converting full documents to Markdown directly in your indexing pipeline
reddit.comยท1dยท
Discuss: r/LocalLLaMA
๐Ÿ“PEG Parsing